An internal error has occurred. Please report this as a bug.
Location of the error: src/full/Agda/ImpossibleTest.hs:9
